GopCaml: A Structural Editor for OCaml

This talk presents Gopcaml-mode, the first structural editing plugin for OCaml. We will give a tour of the main plugin features, discussing the plugin's internal design and its integration with existing OCaml and GNU Emacs toolchains.Comment: Presented at OCaml workshop at ICFP 202

A Formal Proof of PAC Learnability for Decision Stumps

We present a formal proof in Lean of probably approximately correct (PAC) learnability of the concept class of decision stumps. This classic result in machine learning theory derives a bound on error probabilities for a simple type of classifier. Though such a proof appears simple on paper, analytic and measure-theoretic subtleties arise when carrying it out fully formally. Our proof is structured so as to separate reasoning about deterministic properties of a learning function from proofs of measurability and analysis of probabilities.Comment: 13 pages, appeared in Certified Programs and Proofs (CPP) 202

Finite Element Modeling of Five Phase Permanent Magnet BLDC Motor for High Power Density Application

Fault-tolerant capability of electrical motor drives is an essential feature in applications such as automotive, aeronautic, and many others. A multi-phase permanent-magnet BLDC motor exhibits a high fault tolerant capability hence increasing the reliability, as it can be designed to reduce the fault occurrence as well as to operate indefinitely in the presence of fault. With multi independent phases, in the event of failure of one or more, the remaining healthy phases let the motor to operate properly. This paper presents finite element modeling and results of a five-phase permanent magnet brushless motor designed for high power density application

Management protocols of the hot tooth—A KAP survey among general dentists and endodontists

Aim: Pain management is a cornerstone in the practice of endodontics. However, optimum pain control has been a challenge in cases of symptomatic irreversible pulpitis resulting in a “hot tooth.” Thus, the objective of the study is to assess the knowledge and attitude and to determine the clinical protocols of “hot tooth” management followed among general practitioners and specialists. Materials and Methods: The KAP questionnaire contained 05 knowledge, 04 attitudes, and 06 practice-related items. The questionnaire was pretested among 10 randomly selected general dentists and endodontists. Testing–retesting was also performed. The questionnaire was self-administered and the acceptance to answer the questionnaire was considered consent to participate in the study. The sample size was calculated to be 200 with a 95% level of confidence. Descriptive statistics were used. For significance level, P < 0.05 was considered statistically significant. The Chi-square test was used for comparison between the endodontists and the general dentists. Results: The anesthetic techniques that clinicians are most skilled in are infiltration and inferior alveolar nerve block (IANB) – 96.6% and 98.5% respectively. The intraosseous technique (IO) was the least preferred technique (6.8%). The most common supplementary injection used among both the BDS and MDS graduates was intrapulpal anesthesia. In cases of acute pulpitis, 54% of the respondents prescribed NSAIDs as a pre-anesthetic medication. Conclusion: The current study shows that supplemental injections like intraosseous and intraligamental techniques are underutilized. Also, the benefits of preanesthetic medication for hot tooth management are not harnessed among clinicians despite the sufficient body of evidence